invariant under stuttering formula

инвариантная по отношению к прореживанию формула